DIMACS Format
SATソルバ
、
SMTソルバ
に読み込ませるファイルフォーマット
DIMACS CNF
CNF
code:DIMACS Format
c
c start with comments
c
c
p cnf 5 3
1 -5 4 0
-1 5 3 4 0
-3 -4 0
c
: 1行コメント
p
: 問題行。問題のフォーマット、引数的なものを書く。
確認用
Q. DIMACS Format
参考
2009/01/13
benchmarks submission guidelines
『Satisfiability Suggested Format』
関連